Consider the system of first order IVPs,

where, in terms of our previous notation,

So,

which implies that

and therefore

etc. At the st step, the values of , and are assumed to be evaluated at the .

(See exercise set 3.)