Linear mapping/Matrix and basis/Rank/Fact