2 Sea $*$ una operación binaria conmutativa y asociativa sobre un conjunto $S.$ Supón que para todo $x$ y $y$ en $S,$ existe $z$ en $S$ tal que $x*z=y.$ (Este $z$ puede depender de $x$ y de $y.$) Demuestra que si $a,b,c$ están en $S$ y $a*c=b*c,$ entonces $a=b.$ Kent