The statement is “”
(Apply commutative property of addition: )
(Apply additive inverse property: ) \ \
(Apply additive identity property: )
The sum is .