Убран вызов PROVE из ABSURD_CHECK_CONV