Gordon–Newell_theorem loading ...