I would appreciate any help given on this problem in abstract algebra. I spent an hour trying to figure it out but with no luck :(
Let * be a binary operation on the nonempty set A. Prove that if A contains an identity element with respect to *, the identity element is unique. Prove using direct proof.