反证法证明下面的命题已知p是整数,p的平方是偶数,求证:p也是偶数