le corps des
transséries en 
à l'infini. Nous démontrons le théorème
suivant : soient 
un
polynôme différentiel et 
deux transséries dans
telles que 
. Alors il existe
une transséries 
avec
et 
.