A subtraction can be interpreted as a negative number being added. This rule is usually used the other way around, but in some cases it can simplify a calculation using this rewrite.