Proving Vector Dot Product Properties