カルノーサイクル
クラウジウスの不等式はカルノーサイクルを連結し合成サイクルを作ることによって、トムソンの法則と、それより導かれるカルノーの定理を用いて示せ、またクラウジウスの不等式において"n"=1としたものはトムソンの法則そのものである。