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

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