theorem Th29: :: ALTCAT_2:29

for C being non empty AltCatStr
for D being non empty SubCatStr of C
for o being Object of D holds o is Object of C