Linear mapping/Matrix and basis/Rank/Fact/Proof/Exercise