Geometric rigidity and an application to statistical mechanics.