Give argument for lemma 12.