Equivalences are Interderivable

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


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