Order of Additive Group of Integers Modulo m

Theorem
Let $\struct {\Z_m, +_m}$ denote the