利用线性组合和降次解决2016年IMO预选数论第4题
发布人