1: \begin{proof}

2: It follows from the last condition in Eq.~(\ref{1_image}) that $\sum_{\vec k} \frac1N \vec S_{\vec k}^\dag \vec S_{\vec k} = 1$, so if $\vec S_{\vec k} \neq \vec 0$ only at some global minima in the spectrum, then the resulting state must be a rigorous ground state. Suppose $\vec k_1$ is a global minimum. Since $\epsilon_{-\vec k} = \epsilon_{\vec k}$, so is $-\vec k_1$. One can verify that the specification $\vec S_{\pm \vec k_1} = \frac{\sqrt N}{2} (1,\pm i,0)^T$ for inequivalent $\pm \vec k_1$, or $\sqrt N (1,0,0)^T$ for equivalent $\pm \vec k_1$, and zero elsewhere, is allowable according to $\mathcal I$. This corresponds to the configuration $\vec S_{\vec n} = (\cos (\vec k_1 \cdot \vec n), - \sin(\vec k_1 \cdot \vec n), 0)^T$, or $(e^{i \vec k_1 \cdot \vec n}, 0, 0)^T$, respectively, which is a spiral state.

3: \end{proof}