Equivalences are Interderivable/Forward Implication

Theorem
If two propositional formulas are interderivable, then they are equivalent:
 * $\left ({p \dashv \vdash q}\right) \vdash \left ({p \iff q}\right)$