Cancellability of Congruences/Corollary 1/Proof 1

Proof
Recall that $c \perp n$ means $\gcd \set {c, n} = 1$.

The result follows directly from Cancellability of Congruences.