<623
まあまあ。別に必要条件を求めているわけじゃないんだから。
例えば選択公理を仮定せず、可算選択公理を仮定しただけでバナッハ・タルスキは証明できるっていうなら反論として意味があるけど。