Equivalences are Interderivable

Context
Natural deduction.

Theorem
If two statement forms are interderivable, they are equivalent:

$$\left ({p \dashv \vdash q}\right) \iff \left ({p \iff q}\right)$$

Proof
First, we show that if $$p \dashv \vdash q$$, then $$p \iff q$$:

Next, we show that if $$p \iff q$$, then $$p \dashv \vdash q$$:

Similarly: