Congruence Modulo Negative Number

Theorem
Let $a, b, c \in \R$ be real numbers.

Then:
 * $a \equiv b \pmod c \iff a \equiv b \pmod {-c}$