関数 $f(x)$ が閉区間 $[a,b]$ で連続で, 開区間 $(a,b)$ で微分可能ならば

$\dfrac{f(b) - f(a)}{b-a} = f'(c)~~ (a \lt c \lt b)$

を満たす $c$ が少なくとも $1$ つ存在する。