mathematical theorem, valid in absolute geometry, that the measure of an exterior angle of a triangle is greater than either of the measures of the remote interior angles
via Wikidata · CC0
via Wikidata sitelinks · CC0
Discovered by embedding cosine similarity (sentence-transformers MiniLM, 384-dim).