proved claim 1 in v-pairs