Equivalences are Interderivable/Reverse Implication

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