Goddard–Thorn_theorem loading ...