V x y proof