順序列の無限降下列は存在しない