ランキング参加中その他環の公理から \( (-m)\times (-n) = m \times n \) を証明する．自分用のメモを公開しているというノリなので，説明が不十分な箇所があるかもしれないが，追記するかも知れないし，しないかも知れない． 環の公理 いくつかの補題 （マイナス）✕（マイナス）＝（プラス） 関連文献| Sokratesさんの備忘録ないし雑記帳
