还不赶快来体验！！！

        众所周知，数学归纳法是我们在高中就接触的一种证明方法，可以说是最基础的证明法之一。

        但顾律的方案可不是我们高中学的最普通的数学归纳法。

        而是……史诗级加强难度的数学归纳法！

        为了证明高维代数簇flip操作在有限次后终止这个主定理，需要证明六个看似毫无联系的辅助定理。

        我们将这六个定理分别命名为：A、B、C、D、E、F！

        这六个辅助定理的证明需要用数学归纳法进行互推。

        例如小于等于n-1维的定理D，小于等于n维的定理B以及小于等于n维的定理C可推出小于等于n维的定理D。

        小于等于n维的定理A，小于等于n维的定理B，可以推出小于等于n维的定理C。

        小于等于n维的定理C，小于等于n维的定理D，可以推出小于等于n维的定理E。

        内容未完，下一页继续阅读