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