はあ？
トムソンの対偶→クラウジウスの対偶　を証明したら
トムソン→クラウジウス　を証明したのと同じだろう
これは
トムソンが正しければクラウジウスも正しい　ってことじゃねーの？