Linear mapping/Matrix to basis/Several properties/Fact