theorem Th1: :: NUMBER09:1

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