nは3以上の自然数、kは1<k<nを満たし平方数でない自然数とする。
各nに対しn^2-kを素数とするようなkが少なくとも1つ存在することを示せ。