In [1]} we proved the following. For succinctness we use terminology from the stabilzer formalism in the theorem hypotheses without giving precise details here, as they are not necessary to appreciate the result.
