If has infinite order than must all be distinct. Because otherwise if not then which is not possible. But then implies has infinitely many elements, a contradiction.

If for finite group construct then this is a subgroup and its order is the order of . Since it means the order of divides .