theorem
  ADD_MOD(i,j,n) = ADD_MOD(j,i,n);
