Real numbers/Modulus/Properties/Fact

The modulus function

$\mathbb {R} \longrightarrow \mathbb {R} ,x\longmapsto \vert {x}\vert ,$

fulfills the following properties (${}x,y$ are arbitrary real numbers).

1. ${}\vert {x}\vert \geq 0$.
2. ${}\vert {x}\vert =0$ if and only if ${}x=0$.
3. ${}\vert {x}\vert =\vert {y}\vert$ if and only if ${}x=y$ or ${}x=-y$ holds.
4. ${}\vert {y-x}\vert =\vert {x-y}\vert$.
5. ${}\vert {xy}\vert =\vert {x}\vert \vert {y}\vert$.
6. For ${}x\neq 0$ we have ${}\vert {x^{-1}}\vert =\vert {x}\vert ^{-1}$.
7. We have ${}\vert {x+y}\vert \leq \vert {x}\vert +\vert {y}\vert$ (triangle inequality for the modulus).
8. ${}\vert {x+y}\vert \geq \vert {x}\vert -\vert {y}\vert$.

Write a proof