Sabemos, por la proposición 5 que tal cuerpo existe y que es una extensión de formula_480 que contiene a todos los ceros de formula_119.