Abstract: This paper introduces the formal proof of the three mean value theorems of differentiation in detail. The differential mean value theorem is the core theorem of differential calculus, an ...