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