奇素数 p に対し， 1の原始8乗根 ζ に対し， より， より，よって， に注意すると， が に属すかどうかで4つの場合があるが，それが の4つの場合に対応している． と が同値であることに注意すると， の場合，． よって， の場合， より， の場合， より， …

連立1次方程式．