Carnot Engine Derivation