馬鹿ではない証明はありだと思う