theorem
  for a,b being Complex
  for n being natural Number holds (b/a) |^ n = b |^ n / a |^ n
proof
  let a,b be Complex;
  let n be natural Number;
  thus (b/a) |^ n = (b*a") |^ n .= b |^ n * (a") |^ n by NEWTON:7
    .= b |^ n * (1/a) |^ n
    .= b |^ n * (1/a |^ n) by Th7
    .= b |^ n*1 / a |^ n
    .= b |^ n / a |^ n;
end;
