1: \begin{proof}

2: %By Lemma \ref{ExistNBall}, isoperimetric regions exist. 

3: 

4: 

5: %Hence, the only candidates we consider are those that do not utilize the boundary. Additionally, we may assume that these regions are spherically symmetric, as the process of symmetrization is area-nonincreasing and volume preserving, according to Harman, Howe, and Morgan [HHM Prop. 3] (See section 3.1 on spherical symmetrization).

6: 

7: 

8: 

9: %We will apply the process of spherical symmetrization to isoperimetric region $E$. This involves replacing slices of $E$ over spheres with spherical caps of the same unweighted area centered along an axis. The result is a new region, $E'$. For radial densities, this process maintains weighted volume and does not increase weighted perimeter. For a more rigorous description of this process, see Harman, Howe, and Morgan [HHM Prop. 3].

10: 

11: %Furthermore, note that this isoperimetric region satisfies a differential equation derived from the first variation formula (See [Mo2]. The analysis of this differential equation is a local process. So we may apply the analysis in $\mathbb{R}^n$ by Chambers [Ch] to produce that spheres about the origin are isoperimetric, and are uniquely so, unless the density is constant on some neighborhood of 0. 

12: 

13: %\end{proof}

14: