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