theorem
  Hom(a,b) in Hom(C);
