theorem Th2: :: POLYEQ_5:2

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