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