Properties of addition and subtraction of integers