Dot Product Distributes over Addition/Proof 2