Sindbad~EG File Manager

Current Path : /usr/home/beeson/public_html/michaelbeeson/research/FormalTarski/Proofs/
Upload File :
Current File : /usr/home/beeson/public_html/michaelbeeson/research/FormalTarski/Proofs/Lemma9.13f.prf

Length of proof is 1.  Level of proof is 1.
 
---------------- PROOF ----------------
 
209 [] xp=xq|Col(xp,xq,xr)|Col(xp,xq,xcs)|samesideline(xr,xcs,xp,xq)|opposite(xr,xp,xq,xcs)|xp!=foot(xp,xq,xr).
210 [] xp=xq|Col(xp,xq,xr)|Col(xp,xq,xcs)|samesideline(xr,xcs,xp,xq)|opposite(xr,xp,xq,xcs)|xp=foot(xp,xq,xr).
287 [] p!=q.
288 [] -Col(p,q,r).
289 [] -Col(p,q,cs).
290 [] -samesideline(r,cs,p,q).
291 [] -opposite(r,p,q,cs).
512 [binary,290.1,210.4,unit_del,287,288,289,291] p=foot(p,q,r).
513 [binary,290.1,209.4,unit_del,287,288,289,291,512] $F.

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