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