Linear mapping/Matrix/Commutative diagram/Fact/Proof/Exercise