Lebesgue integration
is often taken to be part of the definition of the "delta function", holds as a theorem of Lebesgue integration.