::::证明.此定理可用以下的方式，针对不可逆热机及可逆热机的情形进行证明
不可逆热机.假设一不可逆热机，其热源为formula_3及formula_4，其热效率为formula_1，此热机和一个效率为formula_6的逆卡诺热机，依右图的方式组合成一个热力学循环，不可逆热机产生的功为逆卡诺热机的工作来源。若formula_7，则此热力学循环对系统没有任何影响，与不可逆性矛盾，因此不成立。若formula_8，则此热力学循环可由低温热源formula_4取出的能量，将