Soit \circ une loi de composition interne définie dans l'ensemble des nombres réels telle que, quels que soient les réels a, b et c, on ait :
(1) 0a=a0 \circ a = - a ;
(2) a(bc)=c(ba).a \circ (b \circ c) = c \circ (b \circ a).
Démontrez que a(bc)=(ab)o(c).a \circ (b \circ c) = (a \circ b) o (– c).