Moreover, there cannot be a constructive proof using this construction, because the Banach-Tarski construction will fail if all sets are measurable (which can h

Moreover, there cannot be a constructive proof using this construction, because the Banach-Tarski construction will fail if all sets are measurable (which can happen in the absence of Choice). A constructive proof would continue to succeed in such settings.