A consequence of the primitive element theorem states that every finite separable extension has a primitive element (i.e. is simple). | В частности, теорема о примитивном элементе утверждает, что любое конечное сепарабельное расширение имеет примитивный элемент (то есть является простым расширением). |
The Banach-Mazur theorem asserts that any separable Banach space is isometrically isomorphic to a closed linear subspace of C () {\displaystyle C()}. | Теорема Банаха - Мазура утверждает, что любое сепарабельное банахово пространство изоморфно какому-либо замкнутому подпространству С {\displaystyle C}. |