两个整数之和是整数的逆命题是什么