theorem Th9: :: NUMBER09:9

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