Точечное преобразование линейного ОДУ

[DLL]

Можно как-нибудь просто доказать факт, что точечное преобразование линейного ОДУ представляет из себя рациональную функцию по производным $(y', y'', ..., y^{(n-1)}, y^{(n)})$?

[пианист]

А надо доказывать? Просто сказать "очевидно, что" или "непосредственно убеждаемся" не пойдет?