lemma 15 in app A