added text to lemma 3.14