This theorem establishes a classification-by-elimination result for classical gravity, showing that once closure, covariance, orthogonality, and symmetry exhaustion are imposed, exactly one admissible gravitational structure remains up to equivalence. Frameworks with extra degrees of freedom, multiple scales, tuned closure, or residual functional freedom are structurally excluded.
Simon F. Gates (Fri,) studied this question.