theorem
  the carrier of AbGroupCat(UN) = AbGroupObjects(UN);
