Así pues, formula_27 es un subcuerpo de formula_28, que contiene a formula_4 y a formula_7.