Difference of two squares
However, if this identity holds in a ring R for all pairs of elements a and b. This means R is commutative. To see this, use the distributive law on the right-hand side of the equation and get