Properties of Addition and Rules of Subtraction