Entonces, formula_176 es una extensión de formula_5--cuerpo que contiene a formula_5.