3.07. Exchanging in subtraction