theorem Th2: :: NUMBER02:2

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