>>118
H(x)の微分を
δ(x)としちゃう。

f(0) = f(x)・δ(x) と定義