theorem Th8: :: NUMBER09:8

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