Let
be a proper isometry. Suppose that f {\displaystyle {}f} is trigonalizable. Show that f {\displaystyle {}f} is already diagonalizable.