Liouville consiguió demostrar analíticamente que si existe una función elemental "g" que sea solución de la ecuación "g" ′ = "f" entonces existe un cierto número de constantes α y funciones elementales "u" y "v", tales que: