We note that REF  is the requirement
that the approximation \(\widetilde{\phi }\)  of \(\phi \)  has consistency
order 1
[1]}.
Under assumptions
REF -REF ,
this requirement is satisfied by the vast majority of numerical
methods to solve initial value problems. See,
e.g. [1]},
as well as Lemma  in the Appendix.
