Entonces formula_15; de donde deducimos que el valor propio debe ser una fase: formula_16