reserve a,b for Complex;

theorem Th2:
  a*a*a = a|^3
proof
  thus a*a*a = a|^2*a by Th1
    .= a|^(2+1) by NEWTON:6
    .= a|^3;
end;
