\[\int_{-\infty}^{\infty}\left(\frac{1}{2\pi}\int_{-\infty}^{\infty}{\mathrm{e}}%
^{\mathrm{i}(x-a)t}\,\mathrm{d}t\right)\phi(x)\,\mathrm{d}x=\phi(a).\]