Изменения
→Теорема о рекурсии
'''string''' src = getOtherSrc()
'''return''' src + "string getOtherSrc():" + "\n" + "return" + src + "\n"
'''string''' getOtherSrc():
...
Теперь <tex>\mathrm{getOtherSrc()}</tex> определяется очевидным образом, и мы получаем '''итоговую версию''' функции <tex>p(y)</tex>
'''function''' p('''int''' y):
