theorem
  id C is isomorphic
proof
  rng id the carrier of C = the carrier of C;
  hence id C is one-to-one & rng id C = the carrier' of C & rng Obj id C = the
  carrier of C by Th73;
end;
