Long-range order in two dimensions