theorem Th8: :: CAT_2:12

for C being Category holds C is Subcategory of C