ちなみに，
Integrate[f[x]*DeracDelta[x-a],{x,-∞,∞}]=f[a]
の性質を利用した計算です．