Every integer has an opposite that sums to zero.
Order of addition doesn't change the sum.
Grouping of integers doesn't affect the result.
Sum of any two integers is always an integer.