besagt, daß für jede auf einem offenen Intervall I ⊂ ℝ definierte

Funktion f : I → ℝ für fast alle x ∈ I (also mit Ausnahme höchstens einer Nullmenge) die DiniAbleitungen von f an der Stelle x einen der folgenden vier Fälle mit einem von x abhängigen c ∈ ℝ erfüllen.

Im Fall (1) ist f differenzierbar in x mit f^′(x) = c.