-*-=+の話はまだやってる？やってるならちょっと思いついたゆと理論

指数使ったら背理法で証明できないか？
-*-=-が成り立つとして{x^(-a)}^(-b)について考える
{x^(-a)}^(-b)={1/(x^a)}^(-b)=1/[1/{(x^a)^b}]=(x^a)^b=x^(ab)...(1)
{x^(-a)}^(-b)=x^{-a*(-b)}=x^(-ab)...(2)
(1),(2)よりx^(ab)=x^(-ab)だが、これはx=1,-1またはab=1,-1の場合を除き成り立たないので矛盾
∴-*-=+

なんかおかしいとこあったら指摘して