v u a u v b x y = x y