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