What is the missing reason in the proof?Prove –(–y – x) – x = y–(–y – x) – x = –[–y +(–x)] – xDefinition of subtraction–[–y +(–x)] – x = y + x – xOpposite of a sum propertyy + x – x = y + x + (–x)Definition of subtractiony + x + (–x) = y + [x + (–x)]Associative property of additiony + [x + (–x)] = y + 0Additive inverse propertyy + 0 = y(blank)Answer options for (blank):A. Symmetric PropertyB. Additive Inverse PropertyC. Additive Identity PropertyD. Opposite of a Sum Property