Структуры и алгоритмы обработки данных

[Студенточка]

На днях сама сдавала этот предмет (по опубикованному там же методическому пособию), в пятом модуле показывает ошибку и в тренинге и контроле на вопросе

-Что входит в основной способ доказательства конечности рекурсии?

-определяется функция f(x), такая, что из f(x) < 0 следует ложность условия В, и доказывается, что при каждой новой активации Р значение f(x) уменьшается

В итоге минус один балл. Видимо какая-то ошибка в тестах.