\[\int^{\infty}_{-\infty}F(x)G(x)\,\mathrm{d}x=\int^{\infty}_{-\infty}f(t)g(-t)%
\,\mathrm{d}t,\]