"Lehrsatz, Satz, Theorem" Englisch