We have not learned those rules yet. The rules we use are

∃E , ∀E, ACP (Assuming for conditional proof)
or AIP (Assuming for Indirect Proof) ,
&E , →E , ¬& , ¬v , ¬→ , →v , &C , &A , vC , vA , vE* , →E* , ¬(Biconditional) , →(Biconditional)

those are the only rules we can use. So is there any way you can solve the problem using on those rules?