EXAMPLE THM
HYPOTHESES: 
POINT A B M N P Q D C
CIRCLE M A
CIRCLE N B
INTERSECTION_CC P M A N B
INTERSECTION_CC Q M P N P
INTERSECTION_LC D A P N B
INTERSECTION_LC C B P M A
SHOW: COLLINEAR A M N
A(97+7,388-24)  B(506+7,268-24)  M(243+7,316-24)  N(412+7,301-24)  P(384+7,396-24)  
Q(367+7,211-24)  D(433+7,398-24)  C(331+7,452-24)  