theorem that the finite-dimensional associative division algebras over the reals are either the reals, the complex numbers, or the quaternions
via Wikidata sitelinks · CC0
Discovered by embedding cosine similarity (sentence-transformers MiniLM, 384-dim).