上で
-1*x=-x
とされてるけど
そうだとすると
-1* で符号が変るから
その証明自体が
自明だね
😀