残念ながらACよりも真に弱い Hahn-Banach の拡張定理があれば Banach-Tarski
は成立する。前スレで見た情報。