Heran Lemma