theorem Th10: :: NUMBER09:10

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