Euclidean geometry without distance and angles
In affine geometry, one uses Playfair's axiom to find the line through C1 and parallel to B1B2, and to find the line through B2 and parallel to B1C1: their intersection C2 is the result of the indicated translation.
Three-dimensional
Discovered by embedding cosine similarity (sentence-transformers MiniLM, 384-dim).