Analog se obţine: O |x (yoz) = x° (yz - 2y – 2z+ 6) = x (yz-2y – 2z+6)-2x-2(yz-2y - |-2z+6) + 6 = xyz − 2 (xy + xz + yz) + 4 (x+y+z) – 6. În concluzie, axioma asociativității (G1) este verificată. (G2) Axioma elementului neutru: Fie ee G, astfel încât x°e=eox = x, VX E G. Se obține xe - - 2x - 2e + 6 = x, \ x = G, echivalentă cu e(x-2) = = 3(x-2), Vxe G. Elementul neutru este e = 3 € G. (G3) Axioma elementelor simetrizabile: Dacă x = G, notăm cu x' simetricul lui x. Se obține xox' = 3 = = x'o x, relație care conduce la x' x-2x-2x' + 6 = 3. Rezultă x' = 2x-3 X-2 Așadar, (G, o) este grup. Deoarece xo y = xy - 2x - 2y + 6 = yx - -2y - 2x + 6 = yox, pentru oricare x, y = G, grupul (G, ) este grup comutativ. 1 = 2+ ·€ (2, +∞). X-2​