If a is any integer, then a + (–a) = 0
a + b = b + a
(a + b) + c = a + (b + c)
a + b is always an integer