  In this paper we study elementary extensions of differential fields in prime
characteristic. In particular, we show that, in contrast to Liouville's result
in characteristic zero, all elements of an elementary extension admit an
antiderivative in some logarithmic extension.
