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