Real Number Ordering is Compatible with Addition/Examples/15-3 Greater than 12-3

Examples of Real Number Ordering is Compatible with Addition
We have that:
 * $15 > 12$

so by Real Number Ordering is Compatible with Addition:


 * $15 - 3 > 12 - 3$

That is:
 * $12 > 9$