\[\int_{0}^{\infty}{\left|f(x)\right|}^{2}\,\mathrm{d}x=\int_{0}^{\infty}{\left|%
\widehat{f}(\lambda)\right|}^{2}\,\mathrm{d}\lambda.\]