En la verificación de la naturaleza de los valores propios de una matriz hermitiana, se utilizan dos hechos sencillos: