Lebesgue theorem on differentiability of monotone functions

Every real-valued monotone function on a real interval is differentiable with a finite derivative at almost every point.