theorem Th6: :: NUMBER02:6

for c being Complex holds c |^ 10 = ((((((((c * c) * c) * c) * c) * c) * c) * c) * c) * c