Redirecting to Lie–Kolchin theorem