אם פונקציה גזירה בקטע סגור, פונקציית הנגזרת שלה מקבלת כל ערך בין הערכים שהיא מקבלת בקצוות הקטע, גם אם פונקציית הנגזרת אינה רציפה בעצמה.