Leí esta prueba en un libro:
Demostrar que si $a, b \in G$ entonces $(ab)^{-1} = b^{-1}a^{-1}$ .
Prueba: Sea $a,b \in G$ . Entonces $abb^{-1}a^{-1} = aea^{-1} = aa^{-1} = e$ . También, $b^{-1}a^{-1}ab = e$ . Porque los inversos son únicos $(ab)^{-1} = b^{-1}a^{-1}$ sigue.
No entiendo muy bien esta prueba; no sigo del todo la lógica. ¿Dónde está la conexión entre $(ab)^{-1}$ y $b^{-1}a^{-1}$ ?