具体的な証明は知らないが、おそらく曲線に対してそのJacobianを考えるのだろう