Addition and Scalar Multiplication

A very similar approach can be used to prove these: