反例が出るまで、あらゆるパターンをソートし続けるのか・・・