theorem Th2: :: NUMBER09:2

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