donde se ha aplicado la definición de un autovector formula_72 con autovalor formula_73 de un operador formula_29: