The hypothesis is possible only for . For every ,
so . The spectral characterization of a positive element in a C*-algebra gives .