Αν η συνάρτηση f είναι συνεχής στο [a,b], παραγωγίσιμη στο (a,b) και ισχύει f(a)=f(b), τότε υπάρχει c∈(a,b) τέτοιο ώστε f ′ (c)=0.