What is the missing reason in the proof?



Prove –(–y – x) – x = y
Statements Reasons
–(–y – x) – x = –[–y +(–x)] – x Definition of subtraction
–[–y +(–x)] – x = y + x – x Opposite of a sum property
y + x – x = y + x + (–x) Definition of subtraction
y + x + (–x) = y + [x + (–x)] Associative Property of Addition
y + [x + (–x)] = y + 0 Additive Inverse Property
y + 0 = y ________________________



Additive Identity Property


Opposite of a Sum Property


Additive Inverse Property


Symmetric Property