3.2b Rewriting Subtraction as Addition