ex K being Field st ([#] K) /\ ([#] (Polynom-Ring K)) <> {}