증명하라.

정의 D1

x 가 a 의 덧셈 역원이라는 것은 x + a = 0 을 뜻한다.

증명.