Groups. Order for commutative product.

Order for commutative product

If $gh=hg$, then $|gh|$ divides [...].