Linear subspace/Example for two axioms/Exercise