Es sei b > a {\displaystyle {}b>a} und seien
stetige, auf ] a , b [ {\displaystyle {}]a,b[} differenzierbare Funktionen mit
für alle x ∈ ] a , b [ {\displaystyle {}x\in {]a,b[}} . Dann ist g ( b ) ≠ g ( a ) {\displaystyle {}g(b)\neq g(a)} und es gibt ein c ∈ ] a , b [ {\displaystyle {}c\in {]a,b[}} mit