Вычисление значения рекурсивной функции. Примитивно рекурсивные функции. доказать примитивную рекурсивность функции.