lemma10

lemma10