\[\int^{\infty}_{-\infty}{\left|F(x)\right|}^{2}\,\mathrm{d}x=\int^{\infty}_{-%
\infty}{\left|f(t)\right|}^{2}\,\mathrm{d}t.\]