Orthocenter Exists Theorem

OrthocenterExists:=proc() local A,B,C:

Concurrent(   Altitude(A,Le(B,C))   ,   Altitude (B,Le(A,C))   ,   Altitude(C,Le(A,B))   ):

end: