lemma view 1