正の数、負の数の減法の法則
ある数を引くには、その数の符号を
変えて加えればよい。
どんな数aについても
a-0=aを証明せよ。