Hey all, I'd really appreciate some help with the following proof about powers:

(b^m)^k = b^(mk)

Power is defined in the following way. Let b be a fixed integer. We define b^k for all integers k >= 0 by:

b^0 := 1

Assuming b^n defined, let b^(n+1) := b^n * b

Thanks a lot!