formula_3，假设formula_33是formula_2在formula_4上的极小多项式，formula_36是任意一个中间域，formula_37是formula_2在formula_36上的极小多项式。显然formula_40。由于域上的多项式环是唯一分解环，formula_41只有有限个因子。而对于每一个formula_40，如果formula_43写作formula_44，并令formula_45。显然formula_46是formula_36的一个子域，因此formula_43在form