Plancherel theorem
If we view the DFT as just a coordinate transformation which simply specifies the components of a vector in a new coordinate system, then the above is just the statement that the dot product of two vectors is preserved under a unitary DFT transformation. For the special case formula_122, this implies that the length of a vector is preserved as well — this is just Plancherel theorem,