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,