Page "Hugenholtz–Pines theorem" not found :(