Assume existence of solution , of the ODE for some function and a family of functions , . The function satisfies

We use the short notation , . By definition of , Note that . Hence,

Assume that function satisfies the relationships and function is defined by for a fixed .

Then for any .

We calculate Hence, or Note that . Hence,