Siendo formula_30 distinto de cualquier valor propio de A entonces formula_31, y sea el complejo formula_32 definido por