theorem :: NEWTON:7

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