Linear mapping/Matrix/Composition/Fact/Proof2