theorem that a function f: S→Pow(S) on a compact nonempty convex subset S⊂ℝⁿ, whose graph is closed and whose image f(x) is nonempty and convex for all x∈S, has a fixed point
Discovered by embedding cosine similarity (sentence-transformers MiniLM, 384-dim).