P→Q が証明できたら、
Q→R (トムソンの対偶)から P→R (クラウジウスの対偶) が証明できる