>>152
pを法とするディリクレ指標χ,ψからヤコビ和J(χ,ψ)を作る。
χ=ψでもよいが、χ,ψ,χψのいずれも単位指標ではないとする。
そのとき|J(χ,ψ)|=√p.
J(χ,ψ)は指標の値の体（この場合だとQ(ζ_5)）に含まれる。
したがって、J(χ,ψ)とその複素共役を掛ければpが出てくる。

ヤコビ和
https://ja.wikipedia.org/wiki/%E3%83%A4%E3%82%B3%E3%83%93%E5%92%8C

（なお、20世紀になって、ヴェイユによって「量指標」としての解釈が与えられた。
ヴェイユ論文「量指標としてのヤコビ和」）