theorem in complex analysis that a conformal mapping sending the unit disk to a region in the complex plane bounded by a Jordan curve extends continuously to a homeomorphism from the unit circle onto the Jordan curve
Discovered by embedding cosine similarity (sentence-transformers MiniLM, 384-dim).