Soient deux nombres réels x et y. Une loi de composition \circ vérifie :
(1) (x + y)(x \circ y) = x2 \circ y2, quels que soient les réels x et y ;
(2) (x \circ y) = (x + z) \circ (y + z), quels que soient les réels x, y et z ;
(3) 1 \circ 0 = 1.
Prouvez que, quels que soient x et y, on a la relation x \circ y = xy.