Carnot Efficiency 3: Proving that it is the most efficient