ガロア拡大
Let "K" be a Hilbertian field, "N" a Galois extension of "K", and "L" a finite proper extension of "N". Then "L" is Hilbertian.