己知S上运算满足结合律，并且对任意x，y∈S，满足：若x*y=y*x，则x=y，试证明：对一切x∈S有x*x=x（此种元素称为幂等元素，因而上述 所有元素都是幂等元素）。