recursion lemma

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