>>744 と >>748 でみたように２次体 Q(η) における有理素数 p の
分解の様子を円分体論と２次体論で別々に調べると自然に平方剰余の
相互律が得られる。