Cuando formula_13 es diagonalizable, vale que formula_14 y formula_15, por lo que la forma canónica de Jordan de la matriz es una matriz diagonal.