Lagrange's approximation theorem