マイナスの定義
a+b=0 のとき,b=(-a)
a+(-a)=0
両編に*(-1)
(-a)+(-(-a))=0
表現の一意性から-(-a)=a