Solution (source code)

= Solution

Observed stellar velocities estimate $T$, while visible mass and size predict $V$. Galaxies and clusters often have far more kinetic energy than luminous matter can bind under the <virial theorem>. The additional gravitational potential is evidence for unseen dark matter.