Redirecting to Noisy channel coding theorem