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.