Given a binary operation, an identity element is like $0$ for addition or $1$ for multiplication: operating on a different number with it does not change that number. We show that, if an identity element exists, it is unique. So there cannot be two identity elements.
