>>342
降下列の定義を変えたら、無限降下列はできちゃうよ
ただ、それは異なる定義によるものだから、
元の定義による結果を否定するものではないな