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