Ha f folytonos függvény a zárt [ a , b ] {\displaystyle [a,b]} intervallumban és differenciálható a nyílt ( a , b ) {\displaystyle (a,b)} intervallumban, akkor van olyan a < c < b {\displaystyle a<c<b} szám, amire
teljesül.