formula_30 cumpliendo formula_12 y formula_7 los requisitos pedidos al principio, y por tanto la matriz formula_10 es diagonalizable.