;
Fie a,b
,a<b.Notam G=(-1,1).Functia f:G->R,
,bijectiva si in plus (G.*)este grup comutativ ,unde x*y=
arctg(tg
+tg
)
Functia g: (-1,1)->(a.b),g(x)=
este bijectiva.Definim acum legea
(
(x)(
(y))
Cu legea astfel definita obtinem transportul de structura de la grupul G la intervalul (a,b) , de unde deducem ca ((a,b),
) este grup comutativ.