Essential Ideas for Section 5.1
Definition of Subtraction The operation of subtraction is defined in terms of addition: a - b = x means a = b + x