Elementary matrices/Diagonalizable/Exercise