EXAMPLE THM
HYPOTHESES: 
POINT A B C D E F G
TRIANGLE A B C
INCENTER D A B C
FOOT E D B C
FOOT F D A C
FOOT G D A B
CIRCLE D E
SHOW: NO
A(121-1,471+1)  B(551-1,471+1)  C(491+7,155-24)  D(418+7,361-24)  E(526+7,340-24)  
F(347-7,277-34)  G(418-1,471+2)  