lemma in geometric group theory, giving sufficient conditions for when a group equipped with an isometric action on a metric space is quasi-isometric to the metric space
Discovered by embedding cosine similarity (sentence-transformers MiniLM, 384-dim).