Negative of Absolute Value/Corollary 3

Theorem
Let $x \in \R$. Let $y \in \R_{\ge 0}$.

Let $z \in \R$.

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