合ってると思うんですが、なんでこの式に変形されるんでしたっけ？