y puesto que formula_126, se concluye que formula_120; es decir, cada valor propio de la matriz simétria A es real.