当然、負の数の掛け算を定義した上で分配法則等、環であることを証明した後の話だろう
そんなこと言うまでもないと思うが