Proof: Finite Order Elements Have n Distinct Powers | Abstract Algebra