vollst. Induktion müsste doch gehen.
Sei also m eine feste nat. Zahl.
Dann zeige für alle n∈ℕ \( A^{m+n}=A^m \cdot A^n \)
Für n=1 gibt die Def. das schon her.
Gilt die Formel für ein n, (Induktionsannahme)
dann gilt auch:
\( A^{m+(n+1)}=A^{(m+n)+1}=A^{m+n} \cdot A \)
Dann die Induktionsannahme einsetzen:
\( = (A^m \cdot A^n ) \cdot A = A^m \cdot ( A^n \cdot A ) = A^m \cdot A^{n+1} \)
==> Formel gilt auch für n+1. q.e.d.