Redirecting to Carnot's theorem