T2에서 Q2를 받아서 T1에 Q1을 주면
일은 W = Q2 - Q1만큼 한다.
W>0 이면, Q1>0 Q2>0임을 증명해 보자.
먼저 Q1<0이라고 가정해 보자.
그러면, Q2 - Q1은 Q2보다 커져서 외부에 일을 하게 된다. 이는 열기관에서 나온 모든 열이 W로 바뀐다는 것이어서 K에 위배 된다.
따라서 Q1>0이다.
W>0 이므로 Q2 - Q1 > 0 인데, Q1이 양이므로 Q2> Q1이다. 따라서 Q2도 양이다.