Entonces formula_5 es diagonalizable unitariamente.