Mermin–Wagner_theorem loading ...