donde formula_112 es el autovalor asociado a formula_113.