theorem Th3: :: POLYEQ_5:3

for a being Complex holds ((a * a) * a) * a = a |^ 4