Let(O=[0,0], A=[x1,0], B=[x2,0], C=[0,x3], D=[x4,x5]):
Orthocenter := Theorem([perpendicular(A,D,B,C),perpendicular(B,D,A,C)],
                        collinear(C,D,O),[x4,x5]);
