選択公理を二回使えば箱の目も当るよな、あれーなんかおかしいなwww