Aus den Lemmas folgt: