>>262
使ってるとしても普通の選択公理だろ、問題は箱を列並べること確率の関係