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.