🐎🦌野郎（）
>如何なる無限列も、それぞれの同値類に属する
>各同値類は、それぞれ代表列を持つ
>したがって無限列に対して、それが属する同値類の代表と比較すれば、決定番号が決まる