El teorema de Engel: contenido, idea de la demostración y sus implicaciones