Question 567801
Solution is correct, however instead of "Axiom 1.4" and "Axiom 1.1" you should use "identity element" and "commutativity" or something along those lines, because no one (other than those using your textbook) will know what Axioms 1.1 and 1.4 are.