"K" = formula_76 el cuerpo de los racionales y "L" = formula_77 el cuerpo de los reales; formula_77 visto como espacio vectorial sobre formula_76, es de dimensión infinita, es decir, formula_80.