תהי f פונקציה ממשית הגזירה n+1 פעמים בסביבה מסויימת של נקודה a. אזי לכל x בסביבה קיימת נקודה c בין x לבין a כך ש:
כאשר הינו פולינום טיילור מדרגה n