I'm not sure why I'm having difficulty with this, but I am. Right now I'm trying to show:
For any a,b in G, there exists identity elements x,y in G such that ax=xa=a and by=yb=b. Show x=y.
Is this the right path? We've already shown that such elements x and y exist, now we just need to...