>>100
え?何言ってるんだい?
そんな命題、証明する必要ないさ
論理学の問題だよ