1，‘η=1-T1/T2~sub conclusion’ cannot prove the equivalence of the two major arguments on the second law of thermodynamics.

2，Using a sub conclusion to prove the mother conclusion in reverse is a logical loop proof.

3，This leads to the diversity of expressions of the second law of thermodynamics.