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

theorem :: REAL_2'98
  (a - b) * (c - d) = (b - a) * (d - c);
