证明n^2-n+11是否是质数