Normalization Theorem for Propositional Intuitionistic Natural Deduction