Esta demostración requiere los más básicos elementos de teoría de grupos.