T01∫t0t0+T0∣x(t)∣2dt=k=−∞∑∞∣ck∣2 Says the signal power in the time domain is the same as the sum of powers of its frequency components