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

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