Cancellability of Congruences/Corollary 1

Corollary to Cancellability of Congruences
Let $c$ and $n$ be coprime integers, i.e. $c \perp n$.

Then:


 * $c a \equiv c b \pmod n \implies a \equiv b \pmod n$

where $\equiv$ denotes congruence.