함수 𝑓(𝑥)f(x)가 닫힌 구간 [𝑎,𝑏][a,b]에서 연속이고 열린 구간 (𝑎,𝑏)(a,b)에서 미분가능하면 𝑓(𝑏)−𝑓(𝑎)𝑏−𝑎=𝑓′(𝑐),𝑐∈(𝑎,𝑏)b−af(b)−f(a)=f′(c),c∈(a,b)인 𝑐c가 적어도 하나 존재한다.