设*是集合A上可结合的二元运算,且对任意x,y属于A,若x*y=y*x,则x=y.证:x*y*x=x