İlk eşitliği, hesabın temel teoremine göre (Bkz: https://tr.wikipedia.org/wiki/Hesab%C4%B1n_temel_teoremi) b'ye göre türev alırsak,
f(b)=f(a)+f(b)2+12f′(b)(b−a)
Aynı şekilde a'ya göre türev alırsak,
−f(a)=−f(a)+f(b)2+12f′(a)(b−a)
İki ifadenin farkını alalım:
f(a)+f(b)=f(a)+f(b)+12(b−a)(f′(b)−f′(a))
Eşitliğin sağlanabilmesi için tüm a ve b değerleri için f′(a)=f′(b) olmalıdır ki bu yüzden f′ fonksiyonu sabit ve m,n∈R için
f=mx+n tipinde bir fonksiyondur.