je propose une rédaction dites moi si c'est juste ou non..ce qu'il faut changer
Soit f une application de S(I)
Donc d'après III.A.1 , pour tout entier naturel k, l'application x --> x^kf^(k)(x) appartient à S(I)
De plus, d'après II.A.1, S(I) est un espace vectoriel sur C non réduit à {0} et par hypothèse on sait que S(I) est de dimension finie.
On en déduit donc que ,pour 1<q<dim S(I), les applications x--> x^qf^(q)(x) sont linéairements indépendantes.
Par conséquent f est solution de l'équation : x^qf^(q)(x) + x^(q-1)f^(q-1)(x)+ ...+ xf'(x)+ f(x) = 0 équation différentielle linéaire homogène d'ordre q.