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/ondiameter.prf

CIKFPQ
EEFDPQ
EEFMPQ
BEDFM
BEDNM
NEDF  lemma:betweennotequal
NEFD  lemma:inequalitysymmetric
NOORBEDNF|BEFNM|EQFN assumption
 ANNOBEDNF+NOBEFNM+NEFN
 NOBEDNF
 NOBEFNM
 NEFN
 BEDFN  assumption
  BEFNM  lemma:3.6a
 NOBEDFN reductio
 EQFN  axiom:connectivity
ORBEDNF|BEFNM|EQFN reductio
EEFNFN cn:congruencereflexive
cases ICNK:BEDNF|BEFNM|EQFN
 case 1:BEDNF
  BEFND axiom:betweennesssymmetry
  ANBEFND+EEFDPQ+EEFNFN
  ICNK  defn:inside
 qedcase
 case 2:BEFNM
  ANBEFNM+EEFMPQ+EEFNFN
  ICNK  defn:inside
 qedcase
 case 3:EQFN
  EQNF  lemma:equalitysymmetric
  ICNK  defn:inside
 qedcase
ICNK cases

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