dot product of two vectors formula proof