Dirac delta function
More generally, using the Dirac delta function formula_3: