【演習問題９：含意論理``単一公理'' (TPTP/LCL038-1)】

が含意論理の単一公理であることを示す。

ただし、含意論理系における(唯一の)推論規則は、

というものである。

たとえば、

が定理であることを示せ。