単位元を持つ環上で
a+(-1)a=(1+(-1))a=0a=0
よって
(-1)a=-a.
ゆえに
(-1)(-1)=-(-1)
また(-1)+1=0であるので1は-1の和の逆元。逆元の一意性より
1=-(-1)=(-1)(-1)