theorem Th4: :: CAT_5:4

for C being Category
for D being Subcategory of C
for E being Subcategory of D holds E is Subcategory of C