“…Let . Then (see [, Lemma 1.2]) for some and . Since, clearly, (where are the unit vectors) and (as is well known and easy to verify) , we have, by the definition of ‐nuclear operators [, 18.1.1], Similarly, as in Section , we get that This implies that …”