[IEQ] 1) \forall a,b \in \mathbb{R}\;(\,|a|-|b|\leq|a-b|\,) [/IEQ]