Korolari 22.1.12.

Setiap perluasan hingga \(E\) dari lapangan hingga \(F\) merupakan perluasan sederhana dari \(F\text{.}\)

Bukti.

Misalkan \(\alpha\) pembangkit bagi grup siklik \(E^{\ast}\) dari elemen-elemen tak nol \(E\text{.}\) Maka \(E = F( \alpha )\text{.}\)
Dalam Konteks