Order Equals Cardinality of the Cyclic Subgroup Generated by an Element