  An expansion of a definably complete field either defines a discrete subring,
or the image of a definable discrete set under a definable map is nowhere
dense. As an application we show a definable version of Lebesgue's
differentiation theorem.
