vector subspaces with matrices proof and solved exercises