一个素数是偶数的非p形式写出‘一个素数是偶数’的非p形式