>>655
-(-a)が(-1)×(-a) だという証明が必要だと思う