>>558
なんで可算選択公理に固執してんの?