その定義だと、d(f(x)) は f'(x) そのもので、dx の存在価値があるんかいなと
思うのだけど。