カルノーサイクル
ここで、カルノーサイクルより効率の良い熱機関（可逆でも不可逆でも良い）があったと仮定する。これを仮に「超カルノーサイクル」と呼ぶ。超カルノーサイクルは、高温源から熱量formula_1を受け取り、仕事W'を生み出せる(W'&gt;W)。このとき、以下の動作を行う。