1: \begin{proof}
2: Tracing the last condition in Eq.~(\ref{m_image}) over $a$, one finds $\sum_{\vec k, \alpha} \frac{1}{Nm} \vec S_{\vec k \alpha}^\dag \vec S_{\vec k \alpha} = 1$, so if $\vec S_{\vec k\alpha} \neq \vec 0$ only at spectral minima, then the resulting state must be a rigorous ground state. Suppose $(\pm \vec k_1, \alpha_1)$ are a pair of spectral minima where $\xi_{\pm\vec k_1 \alpha}$ take the required form. Then one can verify that the prescription such that $\vec S_{\pm \vec k_1, \alpha_1} = \frac{\sqrt{Nm}}{2} ( 1 , \pm i , 0 )^T$ for inequivalent $\pm k_1$, or $\sqrt{Nm} ( 1 , 0 , 0 )^T$ for equivalent $\pm k_1$, and zero elsewhere, is allowable according to $\mathcal I$. This represents a spiral state, $\vec S_{\vec n a} = \big( \cos(\vec k_1 \cdot \vec n - t_a), -\sin(\vec k_1 \cdot \vec n - t_a), 0 \big)^T$ or $\big( e^{i(\vec k_1 \cdot \vec n - t_a)}, 0, 0 \big)^T$, respectively.
3: \end{proof}