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