lemma for claim 2 in v-prs and beginning of full proof