What is the missing reasons in the proof?
Prove -(- y - x) - x = y
Statements || || Reasons ||
- (y - x) - x = y + x - x ------> Opposite of sum property
y + x - x = y + x + (-x)-------> _____________________
y + x + (-x) = y + [x + (-x)-----> associative property of addition
y + [x + ( -x)] = y + 0------------> additive inverse property
y + 0 = y-----------------------------> additive identity property