'Proving' the conjecture F'(x)=f(x)