ashenafi lemma