>>670

"-a"の加法逆元 が定義されていないってこと?