Matrix Scalar Product is Associative/Proof