Reverse Triangle Inequality/Real and Complex Fields/Corollary 1/Proof 2

Proof
By the Triangle Inequality:
 * $\cmod {x + y} - \cmod y \le \cmod x$

Let $z = x + y$.

Then $x = z - y$ and so:


 * $\cmod z - \cmod y \le \cmod {z - y}$

Renaming variables as appropriate gives:
 * $\cmod {x - y} \ge \cmod x - \cmod y$