“…We start with n " 0. By (4.1), (4.4), (4.5), (3.1), Theorem 3.7, Lemma (3.6) and the mean value Theorem, we compute F p,η pψ m pyqq ´Fp,m pψ m pyqq " 1 2 χ η pϕq `Fp´1,m pψ m pyqq ´Fp,m pψ m pyq " 1 2 χ η pϕq `Fp´1,m pψ m py p,m ´δ´q q ´Fp,m pψ m py p,m `δ`q q " 1 2 χ η pϕq `ψ2 m py p,m ´δ´q ´ψ2 m py p,m `δ`q "…”