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