Properties of Addition of Integers