对于所有自然数n,代数式n*n-n+11的值都是质数