1の n 乗根全体の集合を とする． その上の全順序を， によって定める． を相異なる奇素数とする． の 乗根のうち，偏角が に属するものを とする． を， によって定める． を， によって定めると，これらは全単射で， 奇数次の巡回置換は偶置換なので，置換…