  We prove that every symmetric separable state admits a convex decomposition
into symmetric pure product states. While the result is not new in itself, here
we focus on convex geometry. We discuss the decomposition in the context of
numerical ranges and ground state problems of infinite bosonic systems.
