>>44
p,(p^2+1)/2が共に素数の時これら2つは4k+1型の素数である.
ことも言えそう