若K ≠ F,可取a1∈KF (在K中而不在F中),于是域扩张F[a1]/F的次数 > 1.
K/F[a1]的次数 < K/F的次数.
再取a2∈KF[a1],类似得到K/F[a1,a2]的次数 < K/F[a1]的次数.
依此类推.
由K/F是有限扩张,在有限次操作后扩张次数减小为1,即K = F[a1,a2,...,an].
若K ≠ F,可取a1∈KF (在K中而不在F中),于是域扩张F[a1]/F的次数 > 1.
K/F[a1]的次数 < K/F的次数.
再取a2∈KF[a1],类似得到K/F[a1,a2]的次数 < K/F[a1]的次数.
依此类推.
由K/F是有限扩张,在有限次操作后扩张次数减小为1,即K = F[a1,a2,...,an].