  We prove a codimension reduction and congruence theorem for compact
$n$-dimensional submanifolds of $\mathbb{S}^{n+p}$ that admit a mean convex
isometric embedding into $\mathbb{S}^{n+1}_+$ using a Reilly type formula for
space forms.
