1: \begin{proof}

2: See Theorem~4 (iii) of \cite{PhysRevA.81.032326} for a rigorous proof.

3: \end{proof}

4: