Engels Theorem: Inhalt, Beweisidee und Implikationen