prove the following equivalence ,between the 2 definitions of subtraction:

1) a-b =c iff a=b+c , for all a,b,c belonging to the real N0s

2) a-d = a + (-b)

how can we jump from an equality to a double implication?