The second inequality in (2.6) follows from the fact that , and for so that proving the lemma.

To continue the proof of the theorem, we need to investigate the bound on the local truncation error.

From (2.2), we have

By the Mean value theorem, we get for