| Current Path : /usr/home/beeson/public_html/michaelbeeson/research/FormalTarski/Proofs/ |
| Current File : /usr/home/beeson/public_html/michaelbeeson/research/FormalTarski/Proofs/Satz6.15b.prf |
Length of proof is 1. Level of proof is 1. ---------------- PROOF ---------------- 84 [] -sameside(xa,xp,xb)|Col(xa,xp,xb). 135 [] sameside(a,p,q). 136 [] -Col(a,p,q). 457 [binary,135.1,84.1] Col(a,p,q). 458 [binary,457.1,136.1] $F.