Negative of Absolute Value/Corollary 3

Theorem
Let $x \in \R$.

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

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