>>451 
いかなる無限列sについてもその同値類は空でない集合なので
選択公理によって各同値類から代表を選択する関数の存在が言える