in linear algebra, the theorem that, for any set smaller than a spanning set, there is a set of vectors in the spanning set but missing from the smaller set that can be added to the smaller set to make that set spanning as well
Discovered by embedding cosine similarity (sentence-transformers MiniLM, 384-dim).