Title: Obratnai͡a teorema
Subjects: Recursive functions