C-D13-SUPPORT3-INVERSE-SCOPED
Large connected triple correlation implies a bounded-height support-3 relation (profile at p=191)
In plain language
A big three-way correlation is always backed by a short exact relation, measured at p=191, later made complete in D16.
Exact statement
Large connected triple correlation implies a bounded-height support-3 relation (profile at p=191)