تفضل نص النظرية: لتكن f دالة عددية f : [a, b] → ℝ بحيث a <b، إذا كانت f مستمرة على المجال المغلق [a, b] وقابلة للاشتقاق على المجال المفتوح ]a, b[، فإنه يوجد على الأقل عدد حقيقي c ينتمي للمجال ]a, b[ بحيث :