帰納法が負方向にも使えるってことじゃないのか