I want to know the answer to the following question:
How can showing the second equality yields the first prove the concept of isomorphic groups?
All the background I'm provided with is that "From an abstract point of view, isomorphic groups carry the same information.". Is that enough to answer the question?