Изменения

Пусть есть вычислимая <tex>V(x,y)</tex>. Будем поэтапно строить функцию <tex>p(y)</tex>. Предположим что у нас в распоряжении есть функция <tex>getSrc()</tex> , которая вернет код <tex>p(y)</tex>. Тогда саму <tex>p(y)</tex> можно переписать так:

Теперь нужно определить функцию <tex>getSrc()</tex>. Предположим , что внутри <tex>p(y)</tex> мы можем определить функцию <tex>getOtherSrc()</tex> состоящюю , состоящую из одного оператора <tex>return</tex>, которая вернет весь предшествующий ей код. Тогда <tex>p(y)</tex> перепишется так.