lemma view 3