A hyponormal operator is
normal if it commutes with a contraction T of a Hilbert space, whose powers go to
zero strongly, such that 1 − T∗T has finite-dimensional range and the coefficients of
the characteristic function of T lie in a commutative C∗-algebra. The hyponormal
operator is a constant multiple of the identity transformation if the rank of 1 −T∗T
is one.