Is Shannon's sampling theorem, which says one must sample a signal with a sampling frequency larger than 2 times the maximum frequency component of the signal, really a theorem? Or, is it just a reasonable rule? If it is a real theorem, where can I find a rigorous version of it? Thanks a lot.