Noisy-Channel Coding Theorem