lemma153

lemma153