Dot Product Operator is Commutative/Proof 2