>>460
だな。
証明には逆説と仮説が必要っていうもんな