recursion theorem

Мат. теорема о рекурсии