Dot Product Distributes over Addition/Proof 1