Por las propiedades de los operadores autoadjuntos: