  In this paper, we establish the following criterion for divisibility in the
local ring of those quasianalytic function germs at zero which are definable in
a polynomially bounded structure. A sufficient (and necessary) condition for
the divisibility of two such function germs is that of their Taylor series at
zero in the formal power series ring.
