mentwab lemma