Let V be a vector space over a field F. W is a subspace of V if W is a subset of V and W is also a vector space over F.

Prove that if W is a subset of V such that:

1. for all a and b in W a+b in W and

2. for all k in F and for all a in W, ka in W.

Then W is a subspace of V.