consider a being Object of C;
Hom (a,a) in { (Hom (a9,b9)) where a9, b9 is Object of C : verum } ;
hence not Hom C is empty ; :: thesis: verum