Banach-Tarski Paradox

Theorem
Let $\mathbb D^3 \subset \R^3$ be a unit ball in real Euclidean space of $3$ dimensions.

Then $\mathbb D^3$ is equidecomposable to the union of two such unit balls.