mmn

lemma