theorem Th7: :: NUMBER09:7

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