对于任何自然数n,代数式n的平方-3n+7的值都是素数