> (p + p) → p
> p → (p + q)
> (p + q) → (q + p)
> (p → q) → ((r + p) → (r + q))

貴殿の顔文字は出来が悪すぎるよ(;´Д`)

参考：2004/04/12(月)02時10分18秒