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 + (-> y + x + (-x) = y + [x + (-> associative property of addition y + [x + ( -x)] = y + > additive inverse property y + 0 = > additive identity property