| Current Path : /usr/home/beeson/public_html/michaelbeeson/research/papers/programs/FilesToPost/ |
| Current File : /usr/home/beeson/public_html/michaelbeeson/research/papers/programs/FilesToPost/Prop05.prf |
ISABC ANTRABC+EEABAC defn:isosceles TRABC EEABAC EEACAB lemma:congruencesymmetric NCABC defn:triangle COCAB assumption COABC lemma:collinearorder NCCAB reductio EACABBAC lemma:ABCequalsCBA ANEECBBC+EAACBABC+EAABCACB proposition:04 EAABCACB