kill(all)$

van=facebook.com/LearningCalculus;

f(u):=u;

fp(u):=''(diff(f(u),u));

s:f(x)-f(y)=fp((x+y)/2)*(x-y);