Triangle/Euler line/Existence/Fact
< Triangle < Euler line < Existence
Theorem about the Euler line
The centroid, the circumcenter, and the orthocenter of a nondegenerate triangle in the Euclidean plane
lie on a line.