done with Lemma 16 and 18