proved important (I hope) identity lemma about vectors