| Current Path : /usr/home/beeson/public_html/michaelbeeson/research/papers/programs/FilesToPost/ |
| Current File : /usr/home/beeson/public_html/michaelbeeson/research/papers/programs/FilesToPost/Prop06.prf |
TRABC EAABCACB NOLTACAB proposition:06a NCABC defn:triangle COACB assumption COABC lemma:collinearorder NCACB reductio TRACB defn:triangle EAACBABC lemma:equalanglessymmetric NOLTABAC proposition:06a NEAB lemma:angledistinct NEAC lemma:angledistinct EEABAC lemma:trichotomy1