Equivalence of Natural Deduction and Gentzen Sequent Calculi for Propositional Logic