theorem Th3: :: NUMBER02:3

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