Dada una extensión finita de cuerpos "L"/"K", existe un subcuerpo "M" de "L" que contiene "K" tal que "L" es una extensión separable de "M".