Yeabsira Lemma (ymlemma18)