7.2 Частично-рекурсивные функции