theorem Th4: :: NUMBER09:4

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