Sea fff una función real de variable real, continua en el intervalo cerrado [a,b][a, b][a,b] y derivable en el intervalo abierto (a,b)(a, b)(a,b). Si f(a)=f(b)f(a) = f(b)f(a)=f(b) entonces existe un punto c∈(a,b)c \in (a, b)c∈(a,b) tal que f′(c)=0f'(c) = 0f′(c)=0.