Este artículo presenta una introducción elemental a la teoría de Lioville (en versión antigua y moderna) y un teorema de Chebyshev, sobre la integración en términos finitos. Se presenta la parte histórica, la parte computacional y la parte algebraica.