Which property is used in the statement?
If y + 5 = 3, then y = –2.
If y + 5 = 3, then y = –2.