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

theorem :: REAL_2'101_3
  (a - b) * (c + d) = a * c + a * d - b * c - b * d;
