Linear mapping/Image and preimage/Linear subspaces/Fact/Proof/Exercise