学过抽象代数的大神请进来一下,K是F的有限扩张域,证明有很多但是有限数量的a1,...,an属于K 使得 K=[a 1,