区間 $[a,~b]$ で連続な関数 $f(x)$ に対し

$\displaystyle \dfrac{1}{b-a} \int_a^b f(x)~ dx = f(c)~~~(a \lt c \lt b)$

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