Subtraction on Numbers is Anticommutative

Theorem
The operation of subtraction on the numbers is anticommutative.

That is:
 * $a - b = b - a \iff a = b$

Also see

 * Definition:Natural Number Subtraction