Linear mapping/Matrix to basis/Several properties/Fact/Proof