結果 : discrete fourier transform convolution theorem proof