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

BEABC
NEAB  lemma:betweennotequal
NEBA  lemma:inequalitysymmetric
BEBAD  postulate:Euclid2
BEDAB axiom:betweennesssymmetry
BEDAC lemma:3.7b
BEABC
NEBC  lemma:betweennotequal
EEABAC  assumption
EQBC    lemma:extensionunique
NOEEABAC  reductio

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