axiom in Euclidean geometry
If the sum of the interior angles α and β is less than 180°, the two straight lines, produced indefinitely, meet on that side. In geometry, the parallel postulate is the fifth postulate in Euclid's Elements and a distinctive axiom in Euclidean geometry. It states that, in two-dimensional geometry:
If a straight line intersects two other straight lines forming two interior angles on the same side that are less than two right angles, then the two lines, if extended indefinitely, meet on that side on which the angles sum to less than two right angles.
Discovered by embedding cosine similarity (sentence-transformers MiniLM, 384-dim).