“…It suffices to introduce the expression (1.8) of W g,≥σ (P ) into the operator Π 0,≥σ W g,≥σ (P ) K 0,≥σ (P ) − E g,≥σ (P ) −1 Π0,≥σ W g,≥σ (P )Π 0,≥σ , and next to estimate each term separately. An explicit computation then leads directly to the statement of the lemma (see the proof of Lemma A.9 in [1] for more details).…”