Carnot's theorem