Supongamos L/K es un campo de extensión de grado pn para algunos de los mejores p (si es necesario, asumir el carácter de K no p).
Luego, siempre es posible encontrar una secuencia de extensiones K=K0⊂K1⊂K2⋯⊂Kn=L tal que [Kr:Kr−1]=p?
El uso de la teoría de Galois, este problema se traduce en lo siguiente:
Supongamos G es un grupo finito con un subgrupo H tal que [G:H]=pn. Siempre es posible encontrar un subgrupo G⊃H′⊃H , de modo que [H′:H]=p?