球を有限個に切るのに
どこに選択公理が入る余地があるん?
説明してみ