Este conjunto es un cuerpo, es extensión de formula_14, es subcuerpo de formula_11, y de hecho es la menor extensión de formula_14 que contiene a formula_22.