deduction theorem

theorem

Categories: