Section Axiomatization2SequentCalculus.
Context {L: Language}
{minL: MinimunLanguage L}
{Gamma: ProofTheory L}
{AX: NormalAxiomatization L Gamma}.

Lemma Axiomatization2SequentCalculus_SC: NormalSequentCalculus L Gamma.
Context {minAX: MinimunAxiomatization L Gamma}.