证明:对所有的正整数n,代数式n*2-3n+7的值都是质数