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