formula_28: Si x es un vector propio, existe un complejo formula_10 tal que