Chapter 6.7

Subtraction with renaming (5.nf.1)