Properties of discrete fourier transform