lemma view 2