Mesfin Lemma