24.10. Lemma
Lemma az egész kitevős hatványozás azonosságaihoz
Legyen S tetszőleges halmaz, amelyen értelmezve van egy \cdot-tal vagy egymás után írással jelölt asszociatív művelet. Tegyük fel továbbá, hogy e műveletre nézve létezik neutrális elem, és legyen a egy invertálható elem S-ben. Ekkor tetszőleges, tehát nem feltétlenül csak pozitív m egész szám esetén teljesül az alábbi:
a^{m-1}=a^m\cdot a^{-1}
♣