Linear mapping/Matrix to bases/Correspondence/Fact