mula_41只有有限个因子。而对于每一个formula_40，如果formula_43写作formula_44，并令formula_45。显然formula_46是formula_36的一个子域，因此formula_43在formula_46上依然是不可约的。而同时formula_50，因此可以得到formula_51。这样立即推formula_52，于是任何一个中间域formula_36对应唯一的一个formula_41的因子formula_55。于是中间域个数小于因子的个数。但因子个数是有限的，因此中