We can write a pair of integers whose sum is not an integer.
Integers are closed under addition; sum of integers is an integer.