The proof makes use of the diagonalization of a circulant matrix to show that a circular convolution is diagonalized by the discrete Fourier transform. The diagonalization of the circular convolution ...