reserve o,m for set;
reserve C for Cartesian_category;
reserve a,b,c,d,e,s for Object of C;

theorem Th52:
  for o,m being set holds c1Cat*(o,m) is Cocartesian
by Th50,Th45,Th51;
