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.