theorem Th3: :: NUMBER09:3

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