>2^n-1の素因数pで3 mod pの位数が偶数となるものがある
分からん。どうやって示したの?