
$df(t) = f(t)-t$
