[280] Fix \(n≠ 0\) and \(h∈ℕ\), write a recursive definition of exponentiation \(n^ h\). Then prove that \(n^{h+k}=n^ nn^ k\) and \((n^ h)^ k=n^{(hk)}\).
[2DG]↺↻