いや、選択公理より強い仮定を使ってる
選択公理じゃ「好きなように」は整列できないから