For the bounded rank-one operator , insert the powers of a rank-one operator into the convergent operator exponential power series. Writing gives the displayed formula for . At the quotient has limit , so . This includes the zero operator and the nonzero nilpotent operator cases without dividing by zero.