(p→q)⇔(¬q→¬p)は定理であって定理は証明するもの
説明するものではない　大学以上の数学では