Let(A = [-x1,0], B = [x1,0], C = [x2,x3], D = [x4,x5], P = [x4,0],
    Q = [x6,x7], R = [x8,x9]):
Simson := Theorem(
          [arbitrary(A,B,C), oncircle(A,B,C,D), perpfoot(D,P,A,B,P), 
           perpfoot(D,Q,A,C,Q), perpfoot(D,R,B,C,R)], 
          collinear(P,Q,R), [x5, x6, x7, x8, x9] );
Remark(
`   The line containing the feet is known as the Simson line (or sometimes`, 
`just the simson) of the point with respect to the triangle. Robert Simson`,
`(1687-1768) made several contributions to both geometry and arithmetic ...`,
`The ``simson' was attributed to him because it seemed to be typical of his`,
`geometrical ideas. However, historians have searched through his works for`,
`it in vain. Actually it was discovered in 1797 by William Wallace.        `,
`                                                                           `,
`                                    --- H. S. M. Coxeter and S. L. Greitzer`,
`                                                / Geometry Revisited, p. 41`
):
