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