theorem :: POLYEQ_3:27

for z being Complex holds
( z |^ 3 = (z * z) * z & z |^ 3 = (z ^2) * z & z |^ 3 = z ^3 )