Carnot theorem