The Leibniz rule rewrites the left side as . By a distribution with zero derivative is constant,
The Dirac delta multiplication identity supplies a particular solution, and the preceding division result supplies all solutions of . Hence
Multiplying by and then differentiating verifies the equation. The coordinate-multiplication kernel and the constant-derivative kernel show that no additional solutions are missing.