sisay lemma height