若F是完全域,G是F的代数扩张
假定G不完全,那么存在G上的不可约多项式g(x)使得g(x)有重根a
由于a是F上的代数元,设f(x)是a在F上的极小多项式
那么f(x)和g(x)的最大公因子就是g(x)（否则与g(x)不可约矛盾）,即g(x)|f(x)
这样a就是f(x)重根,这又与F是完全域矛盾