>>774
選択公理は本質的ではなく
ある項から先巡回している数列の場合は選択公理は不用
理解すべきなのは数列が一つ固定されているということだけ