theorem Th53:
 dom id a = a & cod id a =a;
