Definition If f:[a,b]→R is continuous and differentiable on the (a,b), then f(a)=f(b)⇒∃c∈(a,b),f′(c)=0