Equivalences are Interderivable

Theorem
If two propositional formulas are interderivable, they are equivalent:


 * $\paren {p \dashv \vdash q} \dashv \vdash \paren {p \iff q}$