option(ac(on)).

A*B=B*A.
A*(B*C)=(A*B)*C.

del(A)*A=del(A).