Lemma by Roman