Dot Product Operator is Commutative/Proof 1