ベルンシュタインの定理は選択公理使ってるんだっけ？
使ってないとしたら、この手の結果からするとかなり奇跡的に思えるな。