РЕКУРСИВНЫЕ ФУНКЦИИ Доказать примитивную рекурсивность