>>286 d/dx は線型作用素なので定義より自明