reserve a, b, c, d, e for Complex;

theorem Th49: :: REAL_2'19
  a / 0 = 0
proof
  thus a/0 = a*0" by XCMPLX_0:def 9
    .= 0;
end;
