Abstract
Applying Kharchenko's theorem and a result on prime rings with GPIs, we prove that if a semiprime ring R possesses a derivation integral over its extended centroid C whose constants satisfy a polynomial identity, then R itself is a PI-ring.