卡诺定理的推论证明