shorten the proof of lemma R