through III, lemma 1.11