\[\int^{\infty}_{0}F_{s}(x)G_{s}(x)\,\mathrm{d}x=\int^{\infty}_{0}f(t)g(t)\,%
\mathrm{d}t,\]