Elitzur's theorem
In quantum field theory and statistical field theory, Elitzur's theorem states that in gauge theories, the only operators that can have non-vanishing expectation values are ones that are invariant under local gauge transformations. An important implication is that gauge symmetry cannot be spontaneously broken.