Induction works on numeric arguments as well as lists:

Define exponentiation in terms of multiplication:

exp(X,N) means X^N

Basis:

exp(X,0) Þ 1;

Induction:

exp(X,N+1) Þ X*exp(X,N);

X⁰ Þ 1;

X^N+1 Þ X*X^N;