>>678
横レス。
導出はできるんだけどなにがどうしてこんな綺麗な形になるのかさっぱりわからんから書く気にならない。
なんかもっと美しい方法がありそうで。