THE RITT–KOLCHIN THEORY FOR DIFFERENTIAL POLYNOMIALS