Carnot Cycle and Theorem