A slight modification of the above arguments shows that no quasinilpotent
operator on a (possibly infinite-dimensional) Hilbert space is the product of
two nonnegative operators unless it is the zero operator. Now we are ready
for the main result of this section.