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