Untuk setiap fungsi kontinu pada selang tertutup [ a , b ] dan terdiferensialkan pada selang terbuka ( a , b ) terdapat paling tidak satu c adalam selang ( a , b ) sedemikian rupa sehingga garis yang menghubungkan titik-titik ujung selang ( secant ) [ a , b ] sejajar terhadap garis singgung ( tangent ) pada c .