馬鹿だな。そう言うのは、証明よりも命題思いつくのが難しいんだ。