:: deftheorem defines ^3 POLYEQ_3:def 3 :
for z being Complex holds z ^3 = (z ^2) * z;