First one shows that all of the axioms are tautologies (the truth - tables in SS6.2 show that the axioms of the forms I