>>22-23
選択公理より弱いハーン・バナッハの定理から
バナッハ・タルスキの定理が導かれることがわかっている。