Group order

Relationship between and

Given a finite group , and elements such that , then divides . #m/thm/group

Proof

Let and . Then which implies divides by Corollary.

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