Proof: This is a special case of the power theorem.
Note that again the relationship would be cleaner (
if we were using the normalized DFT.
A Fixed-Point Introduction by Example
Handling Spectral Inversion in Baseband Processing
Understanding the Phasing Method of Single Sideband Modulation
An Interesting Fourier Transform 1/f Noise