theorem in planar Euclidean geometry
Ceva's theorem, case 1: the three lines are concurrent at a point O inside △ABC
Ceva's theorem, case 2: the three lines are concurrent at a point O outside △ABC
Discovered by embedding cosine similarity (sentence-transformers MiniLM, 384-dim).