Theorem: Coefficient of Performance of the Carnot Refrigerator
No refrigerator can have a higher coefficient of performance than that of the Carnot refrigerator, which is given by the temperature of the cold reservoir and the temperature of the hot reservoir.
PROOF
TODO