theorem :: NEWTON:9

for x being Complex
for s, t being natural Number holds (x |^ s) |^ t = x |^ (s * t)