Carnot’s theorem