theorem in linear algebra that a system of linear equations with n variables has solution(s) iff the rk(A) = rk([A|b]), and that if there are solutions, they form an affine space of dimension n−rk(A)
Discovered by embedding cosine similarity (sentence-transformers MiniLM, 384-dim).