問題がないことを証明するより、問題あることを証明する方が
遥かに容易なんだから、まずは問題のあるサンプルを提示するのが
先決だろうな。