数学归纳法+顺序主子式+打洞原理
发布人