A generalization of the Lieb-Schultz-Mattis theorem to higher dimensional spin systems is shown. The physical motivation for the result is that such spin systems typically either have long-range order, in which case there are gapless modes, or have only short-range correlations, in which case there are topological excitations. The result uses a set of loop operators, analogous to those used in ...