Sindbad~EG File Manager

Current Path : /usr/home/beeson/public_html/michaelbeeson/research/papers/programs/
Upload File :
Current File : /usr/home/beeson/public_html/michaelbeeson/research/papers/programs/oppositesidesymmetric.prf

OSPABQ
ANBEPRQ+COABR+NCABP  defn:oppositeside
BEPRQ
COABR
NCABP
EQAB  assumption
 COABP defn:collinear
NEAB reductio
BEQRP  axiom:betweennesssymmetry
COABQ  assumption
 COPRQ  defn:collinear
 COABR
 COBQR  lemma:collinear4
 COQRB  lemma:collinearorder
 COQRP  lemma:collinearorder
 NEQR lemma:betweennotequal
 CORBP  lemma:collinear4
 CORBA  lemma:collinearorder
 cases COAPB:EQRB|NERB
  case 1:EQRB
   COPBQ cn:equalitysub
   COBQP  lemma:collinearorder
   COBQA  lemma:collinearorder
   NERQ  lemma:betweennotequal
   NEBQ  cn:equalitysub
   COQPA lemma:collinear4
   COQPB lemma:collinearorder
   NEPQ  lemma:betweennotequal
   NEQP  lemma:inequalitysymmetric
   COPAB lemma:collinear4
   COAPB  lemma:collinearorder
  qedcase
  case 2:NERB
   COBPA  lemma:collinear4
   COAPB  lemma:collinearorder
  qedcase
 COAPB cases
 COABP lemma:collinearorder
NCABQ reductio
OSQABP  defn:oppositeside

Sindbad File Manager Version 1.0, Coded By Sindbad EG ~ The Terrorists