/usr/fsys/sun/sd1d/ftp/pub/techreports/1997/97-34/submitted.nblnk17.html

We prove the individual conjunctive parts of [Graphics:submitted.nbgr221.gif] :

Proof of [Graphics:submitted.nbgr222.gif] [Graphics:submitted.nbgr223.gif] :

Formula [Graphics:submitted.nbgr224.gif] is true because it is identical to [Graphics:submitted.nbgr225.gif] .

Proof of [Graphics:submitted.nbgr226.gif] [Graphics:submitted.nbgr227.gif] :

Formula [Graphics:submitted.nbgr228.gif] is true because it is identical to [Graphics:submitted.nbgr229.gif] .