>>6
-1×-1=1は、定義だよ。
証明すべきものではないよ。