いろいろ考えたけどやっぱり第３の符号はないですね。
直感的にないと感じました。
すいませんね。

ところで-×-＝+って定理なんですか？定義なんですか？
分配法則から導かれた定理なのか
分配法則を成り立たせる為の定義なのか
どっちなんですか？