生成以下命题的假设证明。
If X is a prime number and X is odd, then X+1 is even.
假设 X 是一个奇素数, 则 X 可以写成 X = 2k + 1，其中 k 是整数.
因为 X 是一个奇数，所以 k 是一个整数.
加1得 X+1 = 2k+2.
可以将2提取, 得 X+1 = 2(k+1).
由于 k 是整数，所以 k+1 也是整数.
因此，X + 1 是一个偶数.
因此，如果 X 是一个素数且 X 是奇数，则 X+1 是偶数。 证毕。