已知:(1)自然数都是大于零的整数。(2)所有整数不是偶数就是奇数。(3)偶数除以2是整数。求证: 所有自然数不是奇数就是其一半为整数的数。