for C being Category
for a being Object of C st a is initial holds
for h being Morphism of a,a holds id a = h