Linear mapping/Composition/Fact/Proof/Exercise