逆元是唯一的。
证明.反证法：设formula_1有两个相异的加法逆元formula_2、formula_3<br>有formula_4 的关系。<br>⇒ formula_5<br>⇒ formula_6<br>产生矛盾，证讫。