This theorem shows that extended, rotationally supported disc galaxies cannot be gravitationally admissible under constraint-only gravity. Exactly one redistributive gravitational degree of freedom is required and permitted, while additional intrinsic moduli are excluded. The result classifies the minimal gravitational structure necessary for extended rotational support without invoking dark matter or modified dynamics.
Simon F. Gates (Thu,) studied this question.