theorem Th1: :: NUMBER02:1

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