A consequence of the primitive element theorem states that every finite separable extension has a primitive element (i.e. is simple).
В частности, теорема о примитивном элементе утверждает, что любое конечное сепарабельное расширение имеет примитивный элемент (то есть является простым расширением).