Let 
be the field of grid-based transseries or the field
of transseries with finite logarithmic depths. In our PhD. we announced
that given a differential polynomial 
with coefficients in and
transseries 
with 
and 
,
there exists an 
, such that
. In this note, we will prove
this theorem.