Direction from right to left:

We assume

[Graphics:submitted.nbgr23.gif] [Graphics:submitted.nbgr24.gif]

and show

[Graphics:submitted.nbgr25.gif] [Graphics:submitted.nbgr26.gif].

We prove [Graphics:submitted.nbgr43.gif] by the deduction rule.