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