Dada una Extensión de cuerpo "L"/"K", podemos usar el lema de Zorn para mostrar que siempre existe un máximo subconjunto algebraicamente independiente de "L" sobre "K".