liouvilles approximation theorem