Euler Line Exists Theorem

EulerLineExists:=proc() local A,B,C,H,M,O:

H:= Orthocenter(A,B,C):   M:=Centroid (A,B,C):   O:= Circumcenter(A,B,C):

Colinear(H,M,O):

end: