additive inverseを関数に対して定義する…だと?