reserve a,b,c,d,a9,b9,c9,d9,y,x1,u,v for Real,
  s,t,h,z,z1,z2,z3,s1,s2,s3 for Complex;

theorem
  z|^ 3=z*z*z & z|^ 3=z^2*z & z|^ 3 = z^3
proof
  z|^ 3 = z|^(2+1) .= z|^(1+1)*z by NEWTON:6
    .= z|^1*z*z by NEWTON:6
    .= z*z*z;
  hence thesis;
end;
