se arata mai intai ca x*y=(x+1) (y+1)-1, carese verifica rapid prin calcul direct
intr-adevar
(x+1) (y+1)-1=xy=x+y+1-1= xy+x+y=x*y
apoi se arat ca legea e comutativa si ca x*(-1)=0-1=-1 prin calcul , folosind expresia de mai sus
sau , daca nu arati ca e comutativa, ca x*(-1) =(-1)*x=-1
atunci, folosind asociativiatea dat in ipoteza si proprietatea compunerii la stanga si la dreapta cu (-1), avem:
(-10)*(-9)...*(-2)*(-1)*0*(1)...*10=a*(-1)*b=(-1)*b=-1