Sea $p$ un número natural mayor o igual que $2$ y sea $(M, \cdot)$ un monoide finito tal que $a^p \ne a$, para cualquier $a\in M \backslash \{e\}$, donde $e$ es el elemento identidad de $M$. Demostrar que $(M, \cdot)$ es un grupo.