Para cada número natural formula_46 hay un cuerpo formula_4 extensión de formula_480 tal que formula_565.