Linear mapping/Matrix to basis/Injective and columns linearly independent/Fact/Proof