The Lieb-Schultz-Mattis theorem [1] and its higher-dimensional generalizations [2] says that a translation-invariant lattice model of spin-1/2's cannot allow a non-degenerate ground state preserving both spin rotational and translation symmetries. Another way to state Lieb-Schultz-Mattis theorem...