-(-X)=Xについては、もっとシンプルに、
「-X+X=0」をよく見れば明らかだな。