E7. Fie [tex]\mathbf{G}=(-3,3)[/tex] și legea de compoziție pe [tex]G, x \circ y=\frac{9 x+9 y}{9+x y}[/tex]. Să se arate că:

a) [tex](G, \circ)[/tex] este grup comutativ;

b) [tex]f: G \rightarrow R, f(x)=\log _{2} \frac{3+x}{3-x}[/tex] este izomorfism intre grupurile [tex](G, \circ)[/tex] și [tex](\mathbb{R},+)[/tex].