Equivalences are Interderivable

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


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