besagt, daß eine auf einem reellen Intervall definierte reellwertige Funktion von endlicher Totalvariation fast überall (d. h. mit Ausnahme höchstens einer Lebesgue-Nullmenge) differenzierbar ist.