theorem Th10: :: CAT_6:10

for C being CategoryStr
for f being morphism of C st C is empty holds
f is identity