\eal{&\T{l'inverso di $a^n$ e' proprio $(\inv a)^n$, infatti,}\\
&a^n(\inv a)^n=
\ubrace{a\cdots a}{\T{n volte}} \ubrace{\inv{a}\cdots \inv{a}}{\T{n volte}} = \e
}