任意の自然数nに対してn^2と(n+1)^2の間に半素数がないことを示せばいいんだな