Endomorphismus/Finite dimensional/Change of basis/Fact/Proof