p=3,5 を除けば p≡±1,±11 (mod 30) のときのみ (p^2+1)/2 が素数になりうる