Group order

and have the same order

In any group, , so if then also . #m/thm/group

Proof

If for some then

#state/tidy | #lang/en | #SemBr