num1: lemma 4.7 korrigiert