Redirecting to Noisy-channel coding theorem