如果3不能整除p,则可设p=3k±1.于是p^2=9k^2±6k+1=3(3k^2±2k)+1,显然不能被3整除.这与已知矛盾,因此3能整除p.对所有的质数都成立么？对所有的质数都是成立的。