この場合、"df"("x")は函数 "t" ↦ "tf"′("x")である。