>>313
私が示した定理を使えば、pを任意の素数とするとき、各 n=1、2、…、p−1 に対して e^{2pπi/n} は代数的数であることはすぐいえる。