∫0∞(Fc⁡(x))2⁢ⅆ⁡x=∫0∞(f⁡(t))2⁢ⅆ⁡t,