n^2 + 1個の相異なる整数からなる数列には、長さn+1の増加部分列があるか、あるいは長さn+1の減少部分列があることを証明せよ。