theorem Th2: :: CAT_2:6

for C being Category
for E being Subcategory of C
for e being Object of E holds e is Object of C