The Poincaré—Lyapunov—Liouville—Arnol'd theorem