Frehiwot Lemma