[math-fun] Banach-Tarski vs scissors