theorem :: FIELD_3:19

for F being non almost_trivial Field ex K being non polynomial_disjoint Field st K,F are_isomorphic