 Orthogonality of roots of unity

For $\omega =e^{2\pi i/N}$,This finite geometric sum is the orthogonality relation underlying the discrete Fourier transform.