Cancellability of Congruences/Corollary 1

Corollary to Cancellability of Congruences
Let $c$ and $n$ be coprime integers, that is:
 * $c \perp n$

Then:


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

where $\equiv$ denotes congruence.