Multiplicative Inverse in Ring of Integers Modulo m

Theorem
Let $\struct {\Z_m, +_m, \times_m}$ be the ring of integers modulo $m$.

Then $\eqclass k m \in \Z_m$ has an inverse in $\struct {\Z_m, \times_m}$ $k \perp m$.