Theorem that under suitable conditions the Fourier transform of a convolution of two signals is the pointwise product of their Fourier transforms