>>61
では「有限列を選ぶ」場合には必要ないですね?
実は選択公理も必要不可欠とは考えてないので