reserve B,C,D for Category;

theorem Th69:
 for a being Object of C holds id a = id(a opp) by Lm2;
