Dot Product Associates with Scalar Multiplication/Proof 2