theorem Th8: :: NEWTON:8

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