Modulo Addition is Well-Defined/Real Modulus

Theorem
Let $z \in \R$ be a real number.

Let:
 * $a \equiv b \pmod z$

and:
 * $x \equiv y \pmod z$

where $a, b, x, y \in \R$.

Then:
 * $a + x \equiv b + y \pmod z$