Dicho cuerpo está contenido en cualquier otro subcuerpo de formula_4 que contenga a formula_5 y a formula_22.