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: