pを素数、nを自然数とする。2^(p-1)=np^2+1を満たす(p,n)は何組あるか。