Proof

Given operation a*b
known: x*(y*x)=y
show: (x*y)*x=y

Proof:
x*(y*x)=y (1)
=> y*(x*y)=x (2)
=> (x*y)*x=(x*y)*(y*(x*y))=y
*proved*