Linear mapping/Trigonalizable/Characterization with characteristic polynomial/Fact