Lemma R