덧셈 역원이라고 하니까 뭔가 이론적으로 세련되네