>>95
>>66,>>73

>>97
引き算:=加法に関する逆元の足し算
要するに

a×(-b)=(0に)(-a)をb回足し算する と定義する。

ということ。こう書くと初心者には恣意的に見えると思い、
敢えて「引き算」と書いた。