theorem Th6: :: NUMBER09:6

for z being Complex holds z |^ 16 = ((((((((((((((z * z) * z) * z) * z) * z) * z) * z) * z) * z) * z) * z) * z) * z) * z) * z