In this paper, we prove the existence of a first-order definition of the
polynomial ring over a nonprincipal ultraproduct of finite fields of distinct
characteristics in its fraction field by a universal-existential formula in the
language of rings augmented by an additional constant symbol t