Sindbad~EG File Manager

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

LTABCD
EECDEF
ANBECGD+EECGAB   defn:lessthan
BECGD
EECGAB
NECD  lemma:betweennotequal
NEEF  axiom:nocollapse
EQFE  assumption
EQEF  lemma:equalitysymmetric
NEFE  reductio
ANBEFEP+EEEPEF lemma:localextension
BEFEP
BEPEF axiom:betweennesssymmetry
NEPE  lemma:betweennotequal
NECG   lemma:betweennotequal
NEAB   axiom:nocollapse
ANBEPEH+EEEHAB  lemma:extension
EQDC  assumption
BECGD
BECGC  cn:equalitysub
NOBECGC  axiom:betweennessidentity
NEDC  reductio
NEPE  lemma:betweennotequal
NEEP  lemma:inequalitysymmetric
ANBEDCQ+EECQEP  lemma:extension
BEDCQ
EECQEP
BEQCD  axiom:betweennesssymmetry
EEQCCQ  cn:equalityreverse
EEQCEP  lemma:congruencetransitive
EEEPPE  cn:equalityreverse
EEQCPE  lemma:congruencetransitive
EEQDPF  cn:sumofparts
EECGAB
EEEHAB
EEABEH  lemma:congruencesymmetric
EECGEH  lemma:congruencetransitive
EEQDPF
EECDEF
EEQCPE
EECGEH
BEQCG   axiom:innertransitivity
BEPEH 
EEDGFH  axiom:5-line
EEGDHF  lemma:doublereverse
EECGEH
EECDEF
BEEHF   lemma:betweennesspreserved
LTABEF defn:lessthan

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