якби існував офіційний рейтинг для математичних доведень, доказ за суперечністю легко був би S-рівня, чи не так?