The Banach-Tarski Paradox asserts that a ball of radius one in Euclidean 3-space can be partitioned into finitely many pieces, which can then be independently rotated and translated, after which they partition a ball of radius two! We'll prove this.