Induktion nach m :
Induktionsanfang : m = 1
(x^n)^1 =_(Def) x^n = x(n·1)
Induktionsschritt m → m+1
Sei (x^n)^m = x^{n·m} vorausgesetzt.
Zu zeigen ist dann (x^n)^{m+1} = xn·(m+1)
(x^n)^{m+1} =_(Def) (x^n)^m·x^n =_Vor x^{n·m}·x^n
=_(#) x^{n·m+n} = xn·(m+1)
Beweis von (#) : x^k·x^n = x^{k+n} : Induktion nach n
Induktionsanfang : x^k·x^1 = x^k·x = x^{k+1}
Induktionsschritt n → n+1
Sei x^k·x^n = x^{k+n} vorausgesetzt.
Zu zeigen ist dann x^k·x^{n+1} = x^{k+n+1}
x^k·x^{n+1} =_(Def) x^k·(x^n·x) = (x^k·x^n)·x =_(Vor) x^{k+n}·x
=_(Def) x(k+n)+1 = xk+(n+1)