命题:若一个整数是质数,则它一定是奇数的等价命题