theorem
  the carrier of MidOpGroupCat(UN) = MidOpGroupObjects(UN);
