0−0 は 0+(−0) の略記で、
−0 は 0+A=0 となる A を表す記号だから、
定義よりただちに 0−0=0。