Episode 918: Carnot Efficiency 3: Proving that it is the most efficient