Lie's theorem