nếu có một danh sách cấp bậc chính thức cho các chứng minh toán học, thì chứng minh bằng phản chứng chắc chắn là cấp S đúng không?