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

theorem :: REAL_2'101_4
  (a - b) * (e - d) = a * e - a * d - b * e + b * d;
