Lemma vom 2.5. abgetippt.