I have noticed that this result is hinted at in several books, but am having trouble proving it:
f, \hat{f} \in C_c^\infty(R^n) \Rightarrow f \equiv 0.
in other words, if both f and its Fourier transform
are smooth, compactly supported functions on n-dimensional euclidean space
then f is...