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

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