Проверку можно выполнить подставив полученную функцию в исходное ДУ, а так похоже на правду smile.gif