theorem Th5: :: NUMBER09:5

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