theorem that, among central-force potentials with bound orbits, there are only 2 types of central-force scalar potentials such that all bound orbits are closed: inverse square and radial harmonic
Discovered by embedding cosine similarity (sentence-transformers MiniLM, 384-dim).