はその形から、n≡3(mod 4)である。しかも、p以下の素数では割り切れないため、その素因子はpより大きな素数である。そのどれか一つは少なくとも mod 4で3になる。なぜなら、そうでないと 素因子は全て mod4 で1になるが、それらを掛け合わせた nは mod 4で3…