∫-∞∞δ⁡(x-a)⁢ϕ⁡(x)⁢ⅆ⁡x=ϕ⁡(a),