Let
be a differential field with constant field
. For
, suppose that the equation
(i.e.,
) has a solution
, where
is an elementary extension of
having the same constant field
. Then there exist
,
, ...,
and constants
, ...,
such that
In other words, such that