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