>>516
ちなみに保留していたことだが、bpi⇒ハーン・バナッハの定理は言えるらしい。
（AIで確かめた。）
ハーン・バナッハから非可測集合の存在も言えるらしい。
つまり、ハーン・バナッハを経由すれば、bpi⇒非可測集合の存在は言えるのかもしれない。
直接の解決にはならないけどね。