theorem Th16: :: CAT_5:16

for C being Categorial Category
for c being Object of C holds cat c = c