Sea $(G,\cdot)$ un grupo y sea $F$ el conjunto de elementos en el grupo $G$ de orden finito. Demostrar que si $F$ es finito, entonces existe un entero positivo $n$ tal que para todo $x\in G$ y para todo $y\in F$, tenemos \[ x^n y = yx^n. \]