Let G {\displaystyle G} be a group, and let e , e ′ ∈ G {\displaystyle e,e'\in G} both be identity elements. Then
Then since e , e ′ ∈ G {\displaystyle e,e'\in G}