>>16
(p+1)/2が合成数になる場合も考察しています