Cancellability of Congruences/Corollary 1/Proof 1

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

The result follows directly from Cancellability of Congruences.