じゃあ尚更>>662のあんたの質問にyesだから
尚更トートロジーなんじゃね？

あと>>628←だけど
その手の証明をしようと思えば結局
複素数体に分配法則を仮定するからその時点ですでに
その証明を証明する前にマイナス×マイナス＝プラスは自明になってる