theorem Th6: :: NEWTON:6

for s being Nat
for z being Complex holds z |^ (s + 1) = (z |^ s) * z