. . . . . . . . . . "Lie\u2013Kolchin theorem" . "Lie-Kolchin theorem" . . "Lie\u2013Kolchin theorem" . .