>>731
選択公理を使ってるので面白くはない