Theorem

With the operations of addition and scalar multiplication as defined in 3A, the set L(V, W) is a vector space.

Proof

Pointless to do, but if desired go through and prove that L meets the right criteria.