state and prove sampling theorem