Subtraction without Renaming

Subtraction without Renaming