theorem
  for a,b being Object of C opp st Hom(a,b)<>{}
  for f being Morphism of a,b
