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

theorem
  for a,b being Object of c1Cat*(o,m) holds Hom(a,b) <> {} by Th47;
