举报熊昌进的博文：

2023年IMO第一题的证明