Let and some operator such that

where is given by

Suppose that

Then

Proof

and thus

Let and note that so