 Theorem 10. The rule of ex falso quodlibet is a “derived rule” of \(D\): if \(\Gamma_1 \vdash \theta\) and \(\Gamma_2 \vdash \neg \theta\), then \(\Gamma_1,\Gamma_2 \vdash \psi\), for any sentence \(\psi\).