Si "K" = formula_76, el cuerpo de los racionales y "L" = formula_87, el menor cuerpo que contiene a la vez formula_76 y √2, claramente formula_87 es una extensión algebraica de formula_76, ya que formula_91 es raíz del polinomio formula_92.