تابع $g$ را به صورت زیر تعریف کنید:
$g:[0,1] \longrightarrow [0,1],g(x)=f(x)-x$
واضح است که:
$g(0)=f(0)-0=0-0=0$ و $g(1)=f(1)-1=1-1=0$
بنابه قضیه رل یک عضو مانند $c$ در بازه $(a,b)$ موجود است که:
$ g' (c)=0 \Rightarrow f' (c)-1=0 \Rightarrow f' (c)=1$
حال اگر قرار دهیم: $x_1=x_2=c$ اثبات کامل است.
$ \Box $
در ضمن نیازی به پیوستگی مشتق هم نیست.