Lemma
sup