Se cumple que cualquier cuerpo Ω algebraicamente cerrado que contenga a formula_1, también contiene a formula_22: