Write these steps: 

Think these reasons: 
Use law 3. 
a+0=a 
This axiom is a good start. Next use law 5 to create (5)). 
Replace expression 0 with 5+((5)). 
a+(5+((5)))=a 
Next replace a by 5. 
Replace expression a with 5. 
5+(5+((5)))=5 
Next associate 5 and 5 with law 7.

Replace expression 5+(5+((5))) with (5+(5))+((5)). 
(5+(5))+((5))=5 
Next evaluate 5+(5) with law 5.

Replace expression 5+(5) with 0. 
0+((5))=5 
Next commute 0 and ((5)) with law 1.

Replace expression 0+((5)) with ((5))+0. 
((5))+0=5 
Next evaluate the addition of 0 with law 3.

Replace expression ((5)) with law 3. 
(5)=5 
Next indicate that the proof is completed.

Underline the answer. 

