Absolute Value Inequality is Compound Inequality

Theorem
Let $x \in \R$.

Let $y \in \R_{\geq 0}$.

Then:
 * $ \left\vert{ x }\right\vert < y \iff -y < x < y$