3.06. Exchanging in subtraction