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

theorem :: AXIOMS'18
  a * (b + c) = a * b + a * c;
