Question 2 3 pts The proof in the Hilbert deduction system of the following theorem is provided in the table below. Write to the right of steps 6 through 10 the number of the axiom or the name of the inference rule used. Note that the justification of the steps 1 through 5 are not required, although you might need to use them to justify steps 6 through 10 Theorem tet A and B be arbitrary formulas of propositional logic. Then Proof