theorem Th32:
  dom {} = {} & rng {} = {};
