Proof: Assume that the empty sequent is provable; then, according to the Hauptsatz it has a cut-free derivation \(\cD\). The previous corollary assures us that only empty sequents can occur in \(\cD\); but such a \(\cD\) does not exist since every proof must contain axioms. \(\qed\)