Lehrsaetze de Übersetzung
Lehrsaetze theorems