有限個に切るところではなく
そのとんでもない切り方が選択公理から保証される