Solve the equation a – 15 = 25 and state which axiom do you use here.