theorem Th22: :: CAT_6:22

for C being non empty with_identities CategoryStr
for f being morphism of C holds
( f is identity iff f is Object of C )