theorem
  a is add-cancelable & b is add-cancelable implies <%a,b%> is add-cancelable
  by Th20,Th22;
