何度も出てきてるのに、何故選択公理より弱い条件で成立することを
認めようとしないんだろ？哲厨か？
Banach-Tarskiの定理はHahn-Banachの定理があれば成立する。Hahn-Banach
の定理は極大フィルタの存在定理があれば成立する（極大フィルタ補題）。
Zornの補題と異なり、極大フィルタ補題からは選択公理が示せない。