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

Proof of [Graphics:submitted.nbgr73.gif] [Graphics:submitted.nbgr74.gif]:

For proving [Graphics:submitted.nbgr75.gif], by [Graphics:submitted.nbgr76.gif], it suffices to prove

[Graphics:submitted.nbgr82.gif] [Graphics:submitted.nbgr83.gif].

Proof of [Graphics:submitted.nbgr84.gif] [Graphics:submitted.nbgr85.gif]:

For proving [Graphics:submitted.nbgr86.gif], by [Graphics:submitted.nbgr87.gif], it suffices to prove

[Graphics:submitted.nbgr93.gif] [Graphics:submitted.nbgr94.gif].