Vector-space structure

Verify vector-space and subspace axioms.

One step at a time. Answers stay hidden until you have had a go.