(\mathit{k}(A)^{\mathit{k}(B)})^{\mathit{k}(C)} = \mathit{k}(A)^{\mathit{k}(B) \cdot \mathit{k}(C)}