完全归纳法

完全归纳法