的工作来源。若formula_7，则此热力学循环对系统没有任何影响，与不可逆性矛盾，因此不成立。若formula_8，则此热力学循环可由低温热源formula_4取出的能量，将此能量释放到高温热源formula_3，且不引起其他变化，违反热力学第二定律，也无法成立。因此结论为formula_12，不可逆热机的效率formula_1较卡诺热机的效率formula_6低。
可逆热机.对于可逆热机的例子，可依类似的方式得到formula_15的结果。若用待测的可逆热机当