ルベーグ積分
is often taken to be part of the definition of the "delta function", holds as a theorem of Lebesgue integration.