This question was asked in Example 1
Solve y-25=40 and state which axiom is used

Pranav Agarwal's image