Theorem 5.2.  The identity    holds true if and only if  .  

Proof of Theorem 5.2.

Suppose first that  .   By definition,  .   As  ,  it follows that    (explain!),  and so  .  The "only if" part is left as an exercise.

(c) 2006 John H. Mathews, Russell W. Howell