Para ver esto, notar que si "L" es cualquier extensión algebraica de "K", entonces la clausura algebraica de "L" es también una clausura algebraica de "K", y así "L" está contenida en la clausura algebraica de "K".