theorem that, if one is given a triangle ABC and constructs squares on AC and BC, the midpoint of the line segment connecting the vertices of the squares opposite C is independent of the location of C
Discovered by embedding cosine similarity (sentence-transformers MiniLM, 384-dim).