Абстрактна алгебра

[Гост]

Докажете, че [tex]a@(b@a)=b, \forall a, b \in S[/tex], ако [tex](a@b)@a=b, \forall a, b \in S[/tex] и [tex](S, @)=\{a, b \in S|a@b \in S\}[/tex].

[Гост]

[tex]b=((b@a)@b)@(b@a)=a@(b@a)[/tex]