Also known as Kneser–Milnor theoroem, prime decomposition theorem for 3-manifolds
Decomposes compact, orientable 3-manifolds uniquely into finitely many prime 3-manifolds
Discovered by embedding cosine similarity (sentence-transformers MiniLM, 384-dim).